Works by Ren, W. (exact spelling)

( view other items matching `Ren, W.`, view all matches )
Order:
  1.  18
    Expressing properties in second- and third-order logic: hypercube graphs and SATQBF.F. Ferrarotti, W. Ren & J. M. T. Torres - 2014 - Logic Journal of the IGPL 22 (2):355-386.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  29
    The semantics of variables in action descriptions.Vladimir Lifschitz & W. Ren - manuscript
    structures, or interpretations, in the sense of first-order logic. In C+, on the other hand, a state is an interpreta-.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation